#!/bin/sh
echo " *" "$@"
exec "$@"
